Add compile-pass tests
#25
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
…ect failures. Add support for xfail tests in compile-pass.
|
Woo! |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Adds a new category to
cargo testthat checks whether files compile usingmir2wasm, but does not bother to run them. In time these should become a superset of, or even equal to, the run-pass tests.The test runner will automatically skip over any files that contain
xfail. This can be used for tests that should pass but we know they won't right now, such as when they rely on a feature that is not yet implemented.This change also includes some refactoring of the previous compile tests, and modifies
mir2wasmto return an exit status that reflects whether compilation succeeded. We should probably just remove the miri-pass tests, but I'm leaving them for now in case they are a useful reference to getting run-pass to work with some kind of interpreter.Issue #15